Unique, guarded fixed points in an additive setting: Extended Abstract
نویسندگان
چکیده
x1 = t1(x1, . . . , xn, y1, . . . yp) .. (1) xn = tn(x1, . . . , xn, y1, . . . yp), where, typically, for each i ∈ [n], ti denotes a function ti : A → A, for some structure A. Sometimes, the structure A is equipped with a partial order, and the functions ti are order-preserving or continuous. In such a case, for a given p-tuple of elements y1, . . . , yp in A, one might ask for the least x1, . . . , xn satisfying all of these equations, if such exist. ∗Partially supported by NSF Grant 0119916 †Partially supported by BRICS, Aalborg, Denmark, Grant T35163 from the National Foundation of Hungary for Scientific Research, and NSF grant 0119916.
منابع مشابه
Formal Aspects of Computing Command Algebras, Recursion and Program Transformation
Dijkstra's language of guarded commands is extended with recursion and transformed into algebra. The semantics is expressed in terms of weakest preconditions and weakest liberal preconditions. Extreme fixed points are used to deal with recursion. Unbounded nondeterminacy is allowed. The algebraic setting enables us to develop efficient transformation rules for recursive procedures. The main res...
متن کاملApproximation of fixed points for a continuous representation of nonexpansive mappings in Hilbert spaces
This paper introduces an implicit scheme for a continuous representation of nonexpansive mappings on a closed convex subset of a Hilbert space with respect to a sequence of invariant means defined on an appropriate space of bounded, continuous real valued functions of the semigroup. The main result is to prove the strong convergence of the proposed implicit scheme to the unique solutio...
متن کاملFixed Points of Fuzzy Generalized Contractive Mappings in Fuzzy Metric Spaces
In this paper, we introduce a new concept of fuzzy generalizedcontraction and give a fixed point result for such mappings in the setting of fuzzy M-complete metric spaces. We also give an affirmative partial answer to a question posed by Wardowski [D. Wardowski, Fuzzy contractive mappings and fixed points in fuzzy metric spaces, Fuzzy Set Syst., {bf 222}(2013), 108-114].Some examples are also g...
متن کاملGuarded Fixed Point Logic
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andréka, van Benthem and Németi. Guarded fixed point logics can also be viewed as the natural common extensions of the modal -calculus and the guarded fragments. We prove that the satisfiability problems for guarded fixed point logics ar...
متن کاملThe decidability of guarded fixed point logic
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of first-order logic that were recently introduced by Andréka, van Benthem and Németi. Guarded fixed point logics can also be viewed as the natural common extensions of the modal μ-calculus and the guarded fragments. In a joint paper with Igor Walukiewicz, we proved recently that the satis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 69 شماره
صفحات -
تاریخ انتشار 2002